1. Algorithms and data structures :
Author: Douglas Baldwin and Greg W. Scragg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
Classification :
QA76
.
9
.
A43
B35
2004
2. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019
4. Introduction to mathematics of satisfiability
Author: / Victor W. Marek
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Propositional calculus.,Logic, Symbolic and mathematical.
Classification :
QA9
.
3
.
M37
2009
5. Peseudo- Boolean programming and applications
Author: Ivanescu, Petru L
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming ( Mathematics) ► Algebra Boolean
Classification :
I93p
6. Psedo-Boolean methods for bivalent Programming
Author: Ivanescu, Petru L
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
no
.
23
7. Pseudo-Boolean methods for bivalent programing
Author: P. L. Ivanescu, S. Rudeonv
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
Vol
.
23
8. Pseudo-Boolean methods for bivalent programming
Author: Ivanescu, P. L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
1
.
L4
v
.
23
9. Pseudo-Boolean methods for bivalent programming
Author: Hammer, P. L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
no
.
23
10. Pseudo-Boolean methods for bivalent programming
Author: / [by] P. L. Ivanescu [and] S. Rudeanu
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming (Mathematics),Algebra, Boolean
Classification :
QA
266
.
H24
1966
11. Pseudo-Boolean programming and applications
Author: Hammer, Peter L.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
no
.
9
12. Pseudo-Boolean programming and applications
Author: / Petru. L. Ivanescu
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming (Mathematics),Algebra, Boolean
Classification :
QA
402
.
5
.
I8
1965
13. Pseudo-Boolean programming and applications
Author: Petru L. Ivanescu
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
Vol
.
9
14. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
Author: Hammer, P. L.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Mathematics(,، Algebra, Boolean
Classification :
QA
3
.
L28
no
.
9
15. Pseudo-Boolean programming and applications, presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October, 1964
Author: Ivanescu, Petru
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Boolean,، Operations research
Classification :
QA
1
.
L4
v
.
9
16. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
17. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
18. The beauty of mathematics in computer science /
Author: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
Classification :
QA76
.
9
.
M35
W84
2019
